Attainable Knowledge
نویسندگان
چکیده
The article investigates an evidence-based semantics for epistemic logics in which pieces of evidence are interpreted as equivalence relations on the epistemic worlds. It is shown that the properties of knowledge obtained from potentially infinitely many pieces of evidence are described by modal logic S5. At the same time, the properties of knowledge obtained from only a finite number of pieces of evidence are described by modal logic S4. The main technical result is a sound and complete bi-modal logical system that describes properties of these two modalities and their interplay.
منابع مشابه
Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report
We characterize the states of knowledge that are attainable in distributed systems, where communication is done by unreliable message exchange. The reason that certain states of knowledge are unattainable is a conservation principle which says that information about “nature” that can be obtained by combining all of the knowledge of the members of a closed system is preserved. We axiomatize the ...
متن کاملA knowledge-based algorithm for the Internet protocol TCP
Using a knowledge-based approach, we derive a protocol for the sequence transmission problem, which provides a high-level model of the Internet protocol TCP. The knowledge-based protocol is correct for communication media where deletion and reordering errors may occur. Furthermore, it is shown that both sender and receiver eventually attain depth n knowledge about the values of the messages for...
متن کاملEvaluation of attitude to, knowledge of and barriers toward research among medical science students
BACKGROUND Plans to increase the role of students in health research require data on students' knowledge and views of research. The aim of the study was to evaluate these factors toward research among medical science students. METHODS Undergraduate and postgraduate students of three medicine, dentistry and pharmacy schools in Shiraz were enrolled in a cross-sectional descriptive study using q...
متن کاملارزیابی دانش و دیدگاه دندانپزشکان در زمینه ارتقاء سلامت دهان در افراد توانخواه
Background and Aims: Disabled individuals are involved with several oral health problems. The aim of this study was to assess the knowledge and perspective of dentists towards oral health promotion in disabled individuals. Materials and Methods: Dentists participating in the fifty-fourth International Congress of Iranian Dental Association in 1392 in Tehran were invited. A valid and reliable...
متن کاملOn the Complexity of Bandit and Derivative-Free Stochastic Convex Optimization
The problem of stochastic convex optimization with bandit feedback (in the learning community) or without knowledge of gradients (in the optimization community) has received much attention in recent years, in the form of algorithms and performance upper bounds. However, much less is known about the inherent complexity of these problems, and there are few lower bounds in the literature, especial...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1705.10760 شماره
صفحات -
تاریخ انتشار 2017